\section{Building bipartite graph from smaller symmetric bipartite graphs}
\label{sec:symmetric}

\input{sym_sufficient}
\input{sym_necessary}


